Nuprl Definition : ma-sends-on
11,40
postcript
pdf
M
sends on link
l
== deq-member(IdLnkDeq;
l
;map(
p
.
p
.2;(
M
.2.2.2.2.2).1.1))
latex
Definitions
t
.2
,
t
.1
,
map(
f
;
as
)
,
IdLnkDeq
,
deq-member(
eq
;
x
;
L
)
FDL editor aliases
ma-sends-on
origin
p.p.2;(M.2.2.2.2.2).1.1)) p.p.2;(M.2.2.2.2.2).1.1))